41. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

42. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754


43. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010


44. Interactive theory revision
Author: / Luc de Raedt
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic programming,environmental sciences,Expert systems (Computer science)
Classification :
QA
76
.
63
.
R34
1992


45. Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming )Computer science(-- Congresses
Classification :
QA
76
.
63
.
L6324
1989


46. Logic and objects
Author: McCabe, Francis G.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Logic programming )Computer science(
Classification :
QA
76
.
63
.
M42
1992


47. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
QA9
.
54
.
L64
2003


48. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
Classification :
E-BOOK

49. Logic for concurrency and synchronisation[CD]
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
CD1743-35


50. Logic in computer science: modelling and reasoning about systems
Author: Huth, Michael
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer logic,، Logic programming )Computer science(
Classification :
QA
76
.
9
.
L63
.
H88
2004


51. Logic programming and knowledge engineering
Author: Amble, tore 5491
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic programming,، Expert systems )computer science(
Classification :
QA
76
.
6
.
A464
1987


52. Logic programming & knowledge engineering
Author: AMBLE,TORE
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC PROGRAMMING , EXPERT SYSTEMS )COMPUTER SCIENCE(
Classification :
QA
76
.
6
.
A464


53. Natural language understanding and logic programming, III
Author: International Workshop on Natural Language Understanding and Logic Programming (3rd : 1991 : Stockholm, Sweden)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic programming- Congresses►Natural language processing (Computer science)- Congresses
Classification :
76
.
63
.
I58

54. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
Author: edited by Charles Grant Brown, Gregers Koch
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
Classification :
QA
76
.
63
.
I58
1991


55. P-Prolog a parallel logic programming language
Author: Rong Yang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12V36
1987


56. P-Prolog, a parallel logic programming language
Author: / Rong Yang
Library: Library of College of Science University of Tehran (Tehran)
Subject: P-Prolog (Computer program language),Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987


57. P-Prolog, a parallel logic programming language
Author: Yang, Rong
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
.
Y36
1987


58. P-Prolog, a parallel logic programming language
Author: Yang, Rong.
Library: Central Library and Documentation Center (Kerman)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987


59. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Electronic data processing,Logic programming.,Petri nets, -- Distributed processing,a04,a06,a08,a10
Classification :
QA76
.
642
.
B484
2006


60. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
